-
1 sequential completeness
Большой англо-русский и русско-английский словарь > sequential completeness
-
2 sequential completeness
Математика: последовательная полнотаУниверсальный англо-русский словарь > sequential completeness
-
3 sequential completeness
English-Russian scientific dictionary > sequential completeness
-
4 completeness
-
5 последовательная полнота
Большой англо-русский и русско-английский словарь > последовательная полнота
-
6 criterion
-
7 test
1) замер2) испытание; испытания || испытывать; исследовать3) стат. критерий4) обнаружение; определение5) опробывание6) опыт; эксперимент7) признак8) проба || пробовать9) проверка || проверять10) тест || тестовый11) пробный•test for uniformity — мат. критерий равномерности
test for trend — мат. проверка на тренд
test for singularity — мат. критерий особенности
test for regression — мат. проверка на наличие регрессии
test for randomness — мат. критерий случайности
test for primality — мат. признак простоты (числа)
test for optimality — мат. критерий оптимальности
test for nonadditivity — мат. признак неаддитивности
test for minimum — мат. проверка на минимум
test for interaction — мат. критерий взаимодействия
test for exponentiality — мат. критерий экспоненциальности
test for ergodicity — мат. критерий эргодичности
test for divisibility — мат. признак делимости
test for definiteness — мат. критерий определённости
test for convergence — мат. критерий сходимости
test for concordance — мат. критерий согласия
test for casualty — мат. критерий обусловленности
- asymptotically efficient test - asymptotically minimax test - asymptotically most powerful rank test - asymptotically optimum test - asymptotically robust test - asymptotically unbiased test - double-tailed testto make test — стат. строить критерий (напр., для проверки значимости отклонений)
- fat test- general test for homogeneity- jet test- locally unbiased test - multiple comparison test - multiple ranking test - normal scores test - one-tailed test - probability ratio test - process normality test - single-tailed test - statistically valid test - test for goodness of fit - test for homogeneity of means - test for homogeneity of variances - test for nonsphericalness of disturbances - test for significant changes - test for uniform convergence - test hypothesis with experiment - uniformly asymptotically efficient test - uniformly best test - uniformly consistent test -
8 relation
1) зависимость, (взаимо)связь2) отношение; соотношение4) геол. условия залегания•- almost universal relation - cause-effect relation - generalized semigroup relation - logically irreducible relation - parametrically definable relation - partial ordering relation - recursively enumerable relation - recursively invariant relation - recursively representable relation - strongly definable relation - weakly symmetric relation
См. также в других словарях:
Reverse mathematics — is a program in mathematical logic that seeks to determine which axioms are required to prove theorems of mathematics. The method can briefly be described as going backwards from the theorems to the axioms. This contrasts with the ordinary… … Wikipedia
Denotational semantics of the Actor model — The denotational semantics of the Actor model is the subject of denotational domain theory for Actors. The historical development of this subject is recounted in [Hewitt 2008b]. Contents 1 Actor fixed point semantics 2 Compositionality in… … Wikipedia
Natural deduction — In logic and proof theory, natural deduction is a kind of proof calculus in which logical reasoning is expressed by inference rules closely related to the natural way of reasoning. This contrasts with the axiomatic systems which instead use… … Wikipedia
P-complete — In complexity theory, the notion of P complete decision problems is useful in the analysis of both: which problems are difficult to parallelize effectively, and; which problems are difficult to solve in limited space. Formally, a decision problem … Wikipedia
P versus NP problem — Unsolved problems in computer science Is P = NP ? … Wikipedia
P = NP problem — The relationship between the complexity classes P and NP is an unsolved question in theoretical computer science. It is considered to be the most important problem in the field – the Clay Mathematics Institute has offered a $1 million US prize… … Wikipedia
Algorithm — Flow chart of an algorithm (Euclid s algorithm) for calculating the greatest common divisor (g.c.d.) of two numbers a and b in locations named A and B. The algorithm proceeds by successive subtractions in two loops: IF the test B ≤ A yields yes… … Wikipedia
Commodore DOS — Commodore DOS, aka CBM DOS, was the disk operating system used with Commodore s 8 bit computers. Unlike most other DOS systems before or since which are booted from disk into the main computer s own RAM at startup, and executed there CBM DOS was… … Wikipedia
Finite-state machine — State machine redirects here. For infinite state machines, see State transition system. For fault tolerance methodology, see State machine replication. SFSM redirects here. For the Italian railway company, see Circumvesuviana. A finite state… … Wikipedia
Outline of logic — The following outline is provided as an overview of and topical guide to logic: Logic – formal science of using reason, considered a branch of both philosophy and mathematics. Logic investigates and classifies the structure of statements and… … Wikipedia
Finite state machine — A finite state machine (FSM) or finite state automaton (plural: automata ) or simply a state machine, is a model of behavior composed of a finite number of states, transitions between those states, and actions. A finite state machine is an… … Wikipedia
